← Back to radar
Observation record / arXiv · 人工智能
Fix, Not Just Resample: Bounded Compiler-Guided Repair in Lean 4
First seen 10/21, 12:54 · Last observed 10/22, 00:54 · Source data is current
Read the original source ↗Title-based outlineFix, Not Just Resample: Bounded Compiler-Guided Repair in Lean 4
Why it mattersResearch metadata links to papers and authors. Read the original for conclusions; publication order is not impact.
30 minutesRank movement—
Building history
1 hourRank movement—
Building history
24 hoursRank movement—
Building history
Publication position history
3 observationsPublication feed in source order. Position changes do not count as heat or momentum.
arXiv metadata CC0; papers retain individual licenses· Author Haotian Deng, Chris Farber, Sonal Narasimha, Samskrithi Sivakumar, Yexiang Xue
View original observation times and ranks
| Observation time (Beijing) | Source position |
|---|---|
| 10/22, 00:54 | 7 |
| 10/21, 18:54 | 7 |
| 10/21, 12:54 | 7 |
Daily aggregate history
| 日期 | Best daily position | Last daily position | Observations |
|---|---|---|---|
| 2026-10-21 | 7 | 7 | 2 |
| 2026-10-22 | 7 | 7 | 1 |