关注
Jannis Limperg
Jannis Limperg
PhD student, University of Munich (LMU)
在 limperg.de 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Aesop: White-Box Best-First Proof Search for Lean
J Limperg, AH From
Proceedings of the 12th ACM SIGPLAN International Conference on Certified …, 2023
242023
The Hitchhiker’s Guide to Logical Verification
A Baanen, A Bentkamp, J Blanchette, J Hölzl, J Limperg
62020
A novice-friendly induction tactic for lean
J Limperg
Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021
22021
A Novice-Friendly Induction Tactic for Lean (Draft)
J Limperg
2020
A Reflexive Graph Model of Sized Types
J Limperg
2020
ABEL: Sample Efficient Online Reinforcement Learning for Neural Theorem Proving
F Gloeckle, J Limperg, G Synnaeve, A Hayat
The 4th Workshop on Mathematical Reasoning and AI at NeurIPS'24, 0
A Cofixpoint Combinator for Mixed Recursive-Corecursive Functions
J Limperg
系统目前无法执行此操作，请稍后再试。
文章 1–7
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交