← All IntelIntel / article 
Compiler-Guided Adaptive Proof Search with Cross-Model Synergy on Context-Dependent Theorem Proving
- Source
- arxiv.org
- Author
- Zhuo Liu, Ding Yu, Hangfeng He
- Date
Why it matters
A concrete search control recipe for anyone running compile and repair loops over generated code.
Terms in this piece · Glossary
- context window — The maximum amount of text a model can consider at once — its working memory for the current conversation or task.
Read the source arxiv.org
Recommended reads
articleGraphAlignCoder: Aligning Program and Proof Graphs for Code GenerationYueke Zhang, Zihan Fang, Kevin Leach, Yu Huang
articleRePro: Proof-Verified Benchmark Rewriting for Reliable Evaluation of LLM Mathematical Problem SolvingXiyuan Zhou, Zhuoqi Li, Xinlei Wang, Yirui He, Yuhao Wu, Yuheng Cheng, Yan Xu, Junhua Zhao, Jinjin Gu
articleVerified Learning for Compiler Optimization: An LLM-Guided Architecture with Formal ControlDev Pratap Singh, Rong Feng, Suman Saha
Comments
Checking sign-in…
Loading comments…