Byrd, William E.
- VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
2024/02/13 by David Brandfonbrener, Simon Henniger, Brandfonbrener, David +20 · 2 voices · 6 citations
Computer Science · Materials Science · #Machine Learning in Materials Science #Natural Language Processing Techniques #Topic Modeling #cs.AI #cs.LG #cs.LO #cs.PL #cs.SE
- Neural Guided Constraint Logic Programming for Program Synthesis
2018/09/08 by Lisa Zhang, Zhang, Lisa, Gregory Rosenblatt +14 · 3 citations
Computer Science · Mathematics · #AI-based Problem Solving and Planning #FOS: Computer and information sciences #Logic, programming, and type systems #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Software Engineering Research #cs.LG #stat.ML