Mock-Interface Synthesis

Recent momentum

-80%

2 papers in the last 28 days · 0.0% of indexed attention

Twelve weeks of publication activity for this topic as it is defined today.

Weekly history

Recent digests

What was published in this topic, kept on the site without email delivery.

Period ending 2026-09-07

1 new paper

A weekly snapshot of new work published in Mock-Interface Synthesis.

82 papers

Latest in Mock-Interface Synthesis

  1. Agentic Planning for Symbolic Execution

    Jul 31, 2026Daniel Koh Ji Yang, Yannic Noller, Corina S. Pasareanu +1Program AnalysisMock-Interface Synthesis

  2. Agentic Separation Logic Specification Synthesis

    May 26, 2026Tarun Suresh, David Korczynski, Julien VanegueMock-Interface SynthesisCp-Agent

  3. Agentic Proving for Program Verification

    May 22, 2026Alessandro Sosso, Akhil Arora, Bas SpittersFormal VerificationVerifier

  4. From I/O to Code with Discovery Agent

    May 14, 2026Yihong Dong, Jiaru Qian, Haoran Zhang +7Mock-Interface Synthesis

  5. DeepLog: A Software Framework for Modular Neurosymbolic AI

    May 11, 2026Robin Manhaeve, Stefano Colamonaco, Vincent Derkinderen +4Neuro-Symbolic FrameworkDeep Learning Framework