arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Jiedong Jiang"" — arXiv2 Search
Showing 1–7 of 7 results
/ Date
/ Name
Nov 4, 2025
FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levels
Dec 31, 2025
LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
Oct 9, 2024
Herald: A Natural Language Annotated Lean 4 Dataset
Mar 20, 2024
A Semantic Search Engine for Mathlib4
Feb 12, 2026
From Atoms to Trees: Building a Structured Feature Forest with Hierarchical Sparse Autoencoders
May 27, 2025
REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
Apr 4, 2026
Automated Conjecture Resolution with Formal Verification