2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.AI2026
RocqSmith: Can Automatic Optimization Forge Better Proof Agents?
Andrei Kozyrev, Nikita Khramov, Denis Lochmelis +3
This work studies the applicability of automatic AI agent optimization methods to real-world agents in formal verification settings, focusing on automated theorem proving in Rocq a…
cs.CV2024★ 2 cited
A preliminary study on continual learning in computer vision using Kolmogorov-Arnold Networks
Alessandro Cacciatore, Valerio Morelli, Federica Paganica +3
Deep learning has long been dominated by multi-layer perceptrons (MLPs), which have demonstrated superiority over other optimizable models in various domains. Recently, a new alter…