Chrome Extension
WeChat Mini Program
Use on ChatGLM
VIPCreated with Sketch.
Research Interests

Papers共 13 篇Author StatisticsCo-AuthorSimilar Experts

By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Planning In Natural Language Improves LLM Search For Code Generation
Evan Wang,Federico Cassano, Catherine Wu, Yunfeng Bai,Will Song, Vaskar Nath, Ziwen Han, Sean Hendryx,Summer Yue,Hugh Zhang
arxiv（2024）
Cited0Views0Bibtex
0
0
VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
David Brandfonbrener,Simon Henniger, Sibi Raja, Tarun Prasad, Chloe Loughridge,Federico Cassano, Sabrina Ruixin Hu, Jianang Yang,William E. Byrd, Robert Zinkov,Nada Amin
CoRR (2024)
Cited0Views0Bibtex
0
0
DafnyBench: A Benchmark for Formal Software Verification
Chloe Loughridge, Qinyi Sun,Seth Ahrenbach,Federico Cassano, Chuyue Sun,Ying Sheng, Anish Mudide,Md Rakib Hossain Misu,Nada Amin,Max Tegmark
CoRR (2024)
Cited0Views0EIBibtex
0
0
A Large Scale Analysis of Semantic Versioning in NPM
Donald Pinckney,Federico Cassano,Arjun Guha,Jonathan Bell
2023 IEEE/ACM 20TH INTERNATIONAL CONFERENCE ON MINING SOFTWARE REPOSITORIES, MSRpp.485-497, (2023)
Cited1Views0Bibtex
1
0
Load More
Author Statistics

#Papers: 13

#Citation: 743

H-Index: 3

G-Index: 5

Sociability: 4

Diversity: 1

Activity: 14

  • 合作者
  • 学生
  • 导师
No result temporarily, you can search similar Scholar with the same research interest
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn