henryrobbins00
- Karma
- 59
- Created
- 8 months ago
Recent Submissions
- 1. ▲ Flare: Verifying MILP Reformulations with LLM-Based Theorem Proving (arxiv.org)
- 2. ▲ Grok is a surprisingly good automated theorem prover
- 3. ▲ Show HN: OpenATP: A platform for automated theorem proving in Lean (github.com)
- 4. ▲ Show HN: A website to track live music attendance (showcount.com)