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