HN Explorer

vikashjohn2505

↗ HN profile [ 23.2 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Beyond Solver Verdicts: Generative Reward Models for Autoformalizations (arxiv.org)
    2 points 0
  2. Openleaf: Overleaf's workflow. Obsidian's interface. None of the cloud (github.com)
    1 points 0
  3. Verge: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning (arxiv.org)
    2 points 2