HN Explorer

henryrobbins00

↗ HN profile [ 53.7 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Dynamic Documents as Personal Software (Geoffrey Litt) (youtube.com)
    1 points 0
  2. Flare: Verifying MILP Reformulations with LLM-Based Theorem Proving (arxiv.org)
    1 points 0
  3. Grok is a surprisingly good automated theorem prover

    TL;DR: I'm working on a Python package called OpenATP [1] that provides a common interface to coding agents for automated theorem proving in Lean. In the latest release, I added support for Leanstral 1.5 [2,3], Grok,…

    3 points 1
  4. Show HN: OpenATP: A platform for automated theorem proving in Lean (github.com)

    TL;DR: I created a Python package to make running agentic automated theorem provers (e.g., Aristotle, Numina-Lean-Agent, Claude Code, etc...) as simple as open-atp prove Lemma.lean result/ claude I took a class on…

    3 points 0
  5. Show HN: A website to track live music attendance (showcount.com)

    TL;DR: I built a website that allows users to track the concerts they've been to. If you have strong opinions about engineering/design or how shows should be tracked (festivals, venues, etc...), I'd love to get your…

    3 points 2