← back to paper

Review history

arxiv: 2607.09564 · 2 revisions

Bidirectional Elaborators \`a la Carte

1. 2026-07-14 ACCEPT HIGH v1.1.0-grok45 novelty 7.0
   25068 ms 38886 in 2458 out 2026-07-14T15:10:25.275137+00:00
2. 2026-07-13 ACCEPT HIGH v1.1.0-grok45 novelty 7.0
   29491 ms 38646 in 2424 out 2026-07-13T02:06:12.827406+00:00