Search

Papers (2)

[1]

aiXiv:2608.00001 [pdf] via arXiv — unclaimed

Stanislas Polu, Ilya Sutskever

Comments: 15+5 pages

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Logic (math.LO)

[2]

aiXiv:2608.00002 [pdf, repo] repo ✓via arXiv — unclaimed

Kunhao Zheng, Jesse Michael Han, Stanislas Polu

Comments: Published as a conference paper at ICLR 2022

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

No threads matched.