Skip to content

Releases: LLM4Rocq/nlir

v0.1.0-mathai24

09 Dec 09:18
Compare
Choose a tag to compare

Release for the MATHAI@NeurIPS 2024 workshop.
See paper: https://openreview.net/forum?id=QzOc0tpdef