Jiewen Hu
  • Bio
  • Publications
  • Experience
  • Recent & Upcoming Talks
    • Example Talk
  • Publications
    • miniCTX: Neural Theorem Proving with (Long-) Contexts
    • Reformatted Alignment
  • Projects
  • Blog
    • 🎉 Easily create your own simple yet highly customizable blog
    • 🧠 Sharpen your thinking with a second brain
    • 📈 Communicate your results effectively with the best data visualizations
    • 👩🏼‍🏫 Teach academic courses
    • ✅ Manage your projects
  • Projects
    • Pandas
    • PyTorch
    • scikit-learn
  • Experience
  • Teaching
    • Learn JavaScript
    • Learn Python

miniCTX: Neural Theorem Proving with (Long-) Contexts

Aug 5, 2024·
Jiewen Hu
Jiewen Hu
,
Thomas Zhu
,
Sean Welleck
· 0 min read
PDF Cite Code Dataset URL
Type
Conference paper
Publication
The 4th Workshop on Mathematical Reasoning and AI at NeurIPS'24
Last updated on Aug 5, 2024
Jiewen Hu
Authors
Jiewen Hu
Master’s in Machine Learning
Reformatted Alignment Feb 19, 2024 →

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.