Towards Time-Aware Language Models: Modeling, Retrieval, and Reasoning
Peut-on produire du sens sans référence ? Ancrage référentiel et autonomie symbolique des grands modèles de langue
Concurrency Abstraction for Compositional Systems Verification
Designing Expressive Effect Systems
Implémentation systématique de compilateurs optimisants pour les langages hautement dynamiques
Synthesizing Quantum Compilers
En raison de circonstances exceptionnelles, le colloque d’Abhik Roychoudhury prévu le 13 novembre est annulé. Veuillez nous excuser pour tout...
Towards Principled Hyperparameter Optimization and Algorithm Selection
Towards Semantic Versioning of Foundation Models
Monotone computations, bracket formulas, and liftings theorems
