← back to paper

Review history

arxiv: 2605.29965 · 2 revisions

Meta-Programming for Linear-time Temporal Answer Set Programming

1. 2026-07-01 UNVERDICTED LOW v0.9.1-grok novelty 7.0
   35229 ms 5707 in 987 out 2026-07-01T07:46:50.060210+00:00
2. 2026-06-29 UNVERDICTED LOW v0.9.1-grok novelty 6.0
   22644 ms 5704 in 792 out 2026-06-29T07:30:11.561972+00:00