Tootfinder

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- The EDGE Language: Extended General Einsums for Graph Algorithms
Odemuyiwa, Porumbescu, Nayak, Pellauer, Emer, Owens
https://arxiv.org/abs/2404.11591 https://mastoxiv.page/@arXiv_csDS_bot/112291034292734261
- Composable Verification Pipelines for Multi-Agent Systems
Julian Alfredo Mendez, Andreas Br\"annstr\"om
https://arxiv.org/abs/2607.16266 https://mastoxiv.page/@arXiv_csLO_bot/116956805448253784
- AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language
Qiyuan Xu, Joshua Ong Jun Leang, Renxi Wang, Wenda Li, Haonan Li, Luke Ong, Conrad Watt
https://arxiv.org/abs/2607.16372 https://mastoxiv.page/@arXiv_csSE_bot/116956840082703202
- Exact Network Surgery: Functional Invariance and Gradient Plasticity in Reactive Computational Gr...
Abdallah Khemais (ISITCOM, University of Sousse)
https://arxiv.org/abs/2607.16568 https://mastoxiv.page/@arXiv_csAI_bot/116957045910225353
- Topology in Synthetic Domain Theory and its Formalisation in Agda
Runze Xue
https://arxiv.org/abs/2607.17292 https://mastoxiv.page/@arXiv_csLO_bot/116956840838635477
- Portable models as a replacement for industrial heuristics in compiler optimizations
Fot Nikolai, Vinarsky Alexander
https://arxiv.org/abs/2607.17389 https://mastoxiv.page/@arXiv_csSE_bot/116957129471226499
- Proceedings 42nd International Conference on Logic Programming
Wolfgang Faber, Laura Giordano, Ricardo Rocha, V\'itor Santos Costa
https://arxiv.org/abs/2607.17707 https://mastoxiv.page/@arXiv_csLO_bot/116956852438717401
toXiv_bot_toot