Skip to content

@TheoryFoundry TheoryFoundry

All

    Repositories list

    3 repositories

    • AIMv2

      Public
      The second version of AIM with a special focus on interaction and generalizability.
      Rust
      •
      MIT License
      •3•10•0•0•Updated Jul 20, 2026Jul 20, 2026

    • AIM

      Public
      AI Mathehatician (Working In Process)
      Rust
      •
      MIT License
      •1•7•0•0•Updated Mar 3, 2026Mar 3, 2026

    • pverify

      Public
      Official codebase for the paper: Pessimistic Verification for Open Ended Math Questions
      Python
      •
      MIT License
      •1•0•0•0•Updated Jan 25, 2026Jan 25, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.