Debate interface, experiments, etc.
☆10Mar 12, 2024Updated last year
Alternatives and similar repositories for debate
Users that are interested in debate are comparing it to the libraries listed below
Sorting:
- Python wrapper for lean-gym☆12Apr 5, 2023Updated 2 years ago
- Llemma formal2formal (tactic prediction) theorem proving experiments☆20Oct 17, 2023Updated 2 years ago
- Open Source Capital Markets Platform: Unified Cross-Asset Trading, Risk Management & Post-Trade Operations. Modular, Auditable, Sovereign…☆16Updated this week
- Minimum Description Length probing for neural network representations☆20Jan 28, 2025Updated last year
- ☆19Feb 6, 2026Updated 3 weeks ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆26May 25, 2024Updated last year
- GHOSTS dataset☆39Jul 19, 2023Updated 2 years ago
- Open library of musculoskeletal models and examples ready to be used with the AnyBody Modelling System.☆30Feb 18, 2026Updated 2 weeks ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆38May 20, 2024Updated last year
- Share everything.☆10Aug 2, 2023Updated 2 years ago
- Ask ChatGPT directly from the Chrome address bar (omnibox)☆10Mar 23, 2023Updated 2 years ago
- Crawl & Visualize NeurIPS 2022 Data from OpenReview☆14Nov 8, 2022Updated 3 years ago
- ☆12Aug 6, 2024Updated last year
- Verify that all reachable code links and will not fail at runtime with a linkage error☆10Jul 30, 2022Updated 3 years ago
- translation of pi3d from python to rust☆11Jun 28, 2025Updated 8 months ago
- Machine learning for molecules workshop 2022☆13Nov 30, 2022Updated 3 years ago
- the datasets of our paper☆11Feb 26, 2024Updated 2 years ago
- Link any file anywhere on your computer!☆11May 11, 2024Updated last year
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 7 months ago
- 这里是AA002-John Doe(暂定名)的大作业项目仓库,用于小组管理,资料沉淀等。☆10Apr 27, 2020Updated 5 years ago
- Web of Science Alert to RSS☆10Nov 21, 2023Updated 2 years ago
- Code for the paper Multi-Armed Bandits with Correlated Arms☆10Jun 3, 2021Updated 4 years ago
- A visualization experience of AI/ML academic papers hosted on ArXiV - for project work at the University of California, Berkeley MIDS pro…☆10Feb 10, 2023Updated 3 years ago
- Codes for "Benchmarking the Generation of Fact Checking Explanations"☆10Aug 16, 2024Updated last year
- ☆29Updated this week
- My resume written in Markdown, with publishing script for various formats.☆12Jan 13, 2026Updated last month
- ☆10May 22, 2023Updated 2 years ago
- Excel COM bindings for use with Jinx☆12Jan 10, 2020Updated 6 years ago
- A project to facilitate construction of high-performance simulations of graph-structured systems.☆10Feb 25, 2026Updated last week
- 保留自大三暑假拿到 Mac 以后在 OS X 平台上开发的 Python 代码☆10Aug 7, 2022Updated 3 years ago
- A Neural Two-Stage Approach for Recognizing Discontiguous Entities (EMNLP 2019)☆11Aug 27, 2019Updated 6 years ago
- A monad-transformer analogue to the Scala ZIO library (basically, UIO + Reader + Either)☆10Mar 16, 2021Updated 4 years ago
- ☆10Oct 14, 2020Updated 5 years ago
- Solving Competition Geometry Problems in Lean☆30Aug 26, 2025Updated 6 months ago
- Hope this could be helpful when you're struggling with finding a suitable PhD/postDoc position.☆10Aug 14, 2023Updated 2 years ago
- Codes of Java developer track projects from www.hyperskill.org☆10Jun 23, 2021Updated 4 years ago
- ☆12Jun 19, 2023Updated 2 years ago
- Automatically update SUMMARY.md of a GitBook repo,default Based on the markdown title, not the article name,But if without a title, artic…☆11Jul 6, 2022Updated 3 years ago
- Single source publishing for vertical writing☆11Mar 15, 2021Updated 4 years ago