firstbacksecondback
11 Results
|
Workshop
|
miniCTX: Neural Theorem Proving with (Long-)Contexts Jiewen Hu · Thomas Zhu · Sean Welleck |
||
|
Workshop
|
NLIR: Natural Language Intermediate Representation for Mechanized Theorem Proving Laetitia Teodorescu · Guillaume Baudart · Emilio Arias · marc lelarge |
||
|
Workshop
|
Lean-STaR: Learning to Interleave Thinking and Proving Haohan Lin · Zhiqing Sun · Sean Welleck · Yiming Yang |
||
|
Workshop
|
Proving Olympiad Algebraic Inequalities without Human Demonstrations Chenrui Wei · Mengzhou Sun · Wei Wang |
||
|
Workshop
|
Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchically Kefan Dong · Arvind Mahankali · Tengyu Ma |
||
|
Workshop
|
ABEL: Sample Efficient Online Reinforcement Learning for Neural Theorem Proving Fabian Gloeckle · Jannis Limperg · Gabriel Synnaeve · Amaury Hayat |
||
|
Workshop
|
Wu’s Method Boosts Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry Shiven Sinha · Ameya Prabhu · Ponnurangam Kumaraguru · Siddharth Bhat · Matthias Bethge |
||
|
Poster
|
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving Xiaohan Lin · Qingxing Cao · Yinya Huang · Haiming Wang · Jianqiao Lu · Zhengying Liu · Linqi Song · Xiaodan Liang |
||
|
Workshop
|
Reasoning in Reasoning: A Hierarchical Framework for Better and Faster Neural Theorem Proving Ziyu Ye · Jiacheng Chen · Jonathan Li · Yifei Wang · Jiankai Sun · Mac Schwager · Philip Torr · Guohao Li · Yuxin Chen · Kaiyu Yang · Yisong Yue · Ziniu Hu |
||
|
Workshop
|
Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data Huajian Xin · Daya Guo · Zhihong Shao · Z.Z. Ren · Qihao Zhu · Bo Liu · Chong Ruan · Wenda Li · Xiaodan Liang |
||
|
Poster
|
Proving Theorems Recursively Haiming Wang · Huajian Xin · Zhengying Liu · Wenda Li · Yinya Huang · Jianqiao Lu · Zhicheng Yang · Jing Tang · Jian Yin · Zhenguo Li · Xiaodan Liang |