Vincent Martin

31 papers A 1B 4Misc 1Journal 17Unranked 8

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Flexible Multi-Agent LLM-Human Framework for Fast Human Validated Tool Building. CoRR Xavier Daull, Patrice Bellot, Emmanuel Bruno, Vincent Martin, Elisabeth Murisasco
2025	J	`jnl`	A Rocq Formalization of Monomial and Graded Orders. CoRR Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero
2025	B	`conf`	An Adaptive Agentic Tool Building Architecture leveraging Expert-in-the-Loop Guidance, applied to Document Generation. DocEng Xavier Daull, Elisabeth Murisasco, Patrice Bellot, Emmanuel Bruno, Vincent Martin
2025	—	`conf`	Développement collaboratif d'outils par des agents LLM et humains pour résoudre des problèmes complexes : application à la synthèse scientifique. EGC Xavier Daull, Elisabeth Murisasco, Patrice Bellot, Emmanuel Bruno, Vincent Martin
2025	J	`jnl`	The Extended SONICOM HRTF Dataset and Spatial Audio Metrics Toolbox. CoRR Katarina Poole, Julie Meyer, Vincent Martin, Rapolas Daugintis, Nils Marggraf-Turley, Jack Webb, Ludovic Pirard, Nicola La Magna, Oliver Turvey, Lorenzo Picinali
2024	J	`jnl`	Finite element method. Detailed proofs to be formalized in Coq. CoRR François Clément, Vincent Martin
2024	—	`conf`	Limites des LLMs pour répondre aux questions complexes, classification des solutions hybrides. CORIA Xavier Daull, Patrice Bellot, Emmanuel Bruno, Elisabeth Murisasco, Vincent Martin
2023	B	`conf`	A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem. FM Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine
2023	J	`jnl`	Complex QA and language models hybrid architectures, Survey. CoRR Xavier Daull, Patrice Bellot, Emmanuel Bruno, Vincent Martin, Elisabeth Murisasco
2023	J	`jnl`	Quantification of Extramyocellular Lipids and Intramuscular Fat from Muscle Echo Intensity in Lower Limb Muscles: A Comparison of Four Ultrasound Devices against Magnetic Resonance Spectroscopy. Sensors Enzo Piponnier, Masaki Ishikawa, Yoko Kunimasa, Kanae Sano, Kévin Jagot, Nathalie Boisseau, Toshiyuki Kurihara, Vincent Martin
2022	J	`jnl`	A Coq Formalization of Lebesgue Integration of Nonnegative Functions. J. Autom. Reason. Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
2022	J	`jnl`	Lebesgue Induction and Tonelli's Theorem in Coq. CoRR Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine
2022	J	`jnl`	Statistical Destriping of Pushbroom-Type Images Based on an Affine Detector Response. IEEE Trans. Geosci. Remote. Sens. Mehdi Chahine Amrouche, Hervé Carfantan, Jérôme Idier, Vincent Martin
2022	—	`conf`	Stochastic Pairing for Contrastive Anomaly Detection on Time Series. ICPRAI (2) Guillaume Chambaret, Laure Berti-Équille, Frédéric Bouchara, Emmanuel Bruno, Vincent Martin, Fabien Chaillan
2021	J	`jnl`	A Coq Formalization of Lebesgue Integration of Nonnegative Functions. CoRR Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
2021	—	`conf`	Amélioration du pronostic par apprentissage profond pour des applications de maintenance prédictive. EGC Guillaume Chambaret, Laure Berti-Équille, Frédéric Bouchara, Emmanuel Bruno, Vincent Martin, Fabien Chaillan
2021	J	`jnl`	Lebesgue integration. Detailed proofs to be formalized in Coq. CoRR François Clément, Vincent Martin
2020	J	`jnl`	Adaptive Inexact Semismooth Newton Methods for the Contact Problem Between Two Membranes. J. Sci. Comput. Jad Dabaghi, Vincent Martin, Martin Vohralík
2017	B	`conf`	A Coq formal proof of the LaxMilgram theorem. CPP Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
2016	J	`jnl`	The Lax-Milgram Theorem. A detailed proof to be formalized in Coq. CoRR François Clément, Vincent Martin
2015	J	`jnl`	Predicting the French Stock Market Using Social Media Analysis. Int. J. Virtual Communities Soc. Netw. Vincent Martin, Emmanuel Bruno, Elisabeth Murisasco
2014	B	`conf`	Bandwidth Prediction on a WiMAX Network. MASS Vincent Martin, Adama Coulaby, Nathan Schaff, Chiu C. Tan, Shan Lin
2014	—	`conf`	Ontology Driven Indexing: Application to Personalized Information Retrieval. DEXA (1) Vincent Martin, Emmanuel Bruno, Elisabeth Murisasco
2014	A	`conf`	Panel of computing students with disabilities. SIGCSE Richard E. Ladner, Jillian Hall, Samir Jain, CeAhna Lathon, Vincent Martin
2013	Misc	`conf`	FIDO - facilitating interactions for dogs with occupations: wearable dog-activated interfaces. ISWC Melody Moore Jackson, Clint Zeagler, Giancarlo Valentin, Alex Martin, Vincent Martin, Adil Delawalla, Wendy Blount, Sarah Eiring, Ryan Hollis, Yash Kshirsagar, Thad Starner
2013	—	`conf`	Predicting the French Stock Market Using Social Media Analysis. SMAP Vincent Martin
2012	—	`conf`	Violence Detection in Video by Large Scale Multi-Scale Local Binary Pattern Dynamics. MediaEval Vincent Martin, Hervé Glotin, Sébastien Paris, Xanadu Halkias, Jean-Marc Prevot
2006	J	`jnl`	Domain decomposition and skeleton programming with OCamlP3l. Parallel Comput. François Clément, Vincent Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis
2006	J	`jnl`	Décomposition de domaine pour un milieu poreux fracturé : un modèle en 3D avec fractures. ARIMA J. Laila Amir, Michel Kern, Jean E. Roberts, Vincent Martin
2005	—	`conf`	Domain Decomposition and Skeleton Programming with OCamlP3l. PARCO François Clément, Vincent Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis
2005	J	`jnl`	Modeling Fractures and Barriers as Interfaces for Flow in Porous Media. SIAM J. Sci. Comput. Vincent Martin, Jérôme Jaffré, Jean E. Roberts