Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / dahoas/eai4math issues and pull requests
#13 - Alex
Pull Request -
State: closed - Opened by Dahoas 2 months ago
#12 - Autoformalize mini-f2f problems using formalized sub-goals
Issue -
State: open - Opened by Dahoas 3 months ago
Labels: Task
#11 - Formalize mini-f2f subgoals
Issue -
State: open - Opened by Dahoas 3 months ago
Labels: Task
#10 - Decompose mini-f2f into informal sub-goals
Issue -
State: open - Opened by Dahoas 3 months ago
Labels: Task
#9 - Library driven autoformalization and theorem proving:
Issue -
State: open - Opened by Dahoas 3 months ago
Labels: Experiment
#8 - Sub-goal based autoformalization
Issue -
State: open - Opened by Dahoas 3 months ago
Labels: Experiment
#6 - Pull lean server from COPRA
Pull Request -
State: closed - Opened by justinchiu-cohere 5 months ago
- 1 comment
#5 - Relevants benchmarks/datasets
Issue -
State: open - Opened by Dahoas 6 months ago
- 3 comments
Labels: Task
#4 - Infrastructure setup
Issue -
State: open - Opened by Dahoas 6 months ago
- 1 comment
Labels: Task
#3 - Experiment with autoformalizing only statements and running expert iteration
Issue -
State: open - Opened by Dahoas 6 months ago
Labels: Task
#2 - Design the library synthesis framework
Issue -
State: closed - Opened by Dahoas 6 months ago
- 1 comment
Labels: Task
#1 - Replicate Proof-Net retrieval experiments
Issue -
State: closed - Opened by Dahoas 6 months ago
- 1 comment
Labels: Task