VAST Challenge · Conference
HopViz: Tracing Anomalous Behaviour Hop-By-Hop Through a Tangled Multi-Agent System
Joel Perca, Luis Sante, Leighton Estrada-Rayme, Mauro Diaz, Juanpablo Heredia, Felipe A. Moreno-Vera, João Rulff, Jorge Poco
Recent Publications (VIEW ALL PAPERS)
VAST Challenge · Conference
AgentAudit: Visual Analytics for Tracing Behavioral Escalation in Multi-Agent Systems
Luis Sante, Mauro Diaz, Leighton Estrada-Rayme, Joel Perca, Juanpablo Heredia, Felipe A. Moreno-Vera, João Rulff, Jorge Poco
NeurIPS MATH-AI · Workshop
Lea: An Agent Backbone for Mathematician-Controlled Formalization in Lean
Shaswat Patel, Daniel Arturi, Kevin Gomez, Jaume de Dios Pont, Jorge Poco, Eduardo Teixeira, Sam Westrick, Claudio Silva, Chinmay Hegde
NeurIPS VeriCodeGen · Workshop
ProofDiff: Auditable Argument-Level Comparison of AI-Generated Mathematical Proofs
Matan Tsafrir, Esdras Medeiros, Jorge Poco, Kevin Gomez, Eduardo Teixeira, Claudio Silva
ACM TIST · Journal
GroundSTory: Interactive Storytelling for Grounded Spatiotemporal Anomaly Explanations with Graphs and Large Language Models
Juanpablo Heredia, Leighton Estrada-Rayme, Jeremy Matos-Cangalaya, Jorge Poco
News
Nov 15, 2026
Three papers at NeurIPS 2026 workshops, opening our new research line AI for Mathematics: Lea, LeanTrail and ProofDiff.
Dec 10, 2025
New paper accepted UrbanPhysicalDisorder-4K: Understanding Urban Perception via Counterfactuals.
Nov 25, 2025
Best Paper Award at SIBGRAPI 2025: Interactive Exploration and Explanation of Spatiotemporal Anomalies with Graph-LLM Integration.
Nov 25, 2025
Innovate Display of Daily Communication Patterns Award at VAST Challenge 2025: Interactive Platform for the Visual Analysis of Suspicious Communication Patterns.
Jan 17, 2025
Jan 06, 2025
New paper published Assessing Timber Trade Networks and Supply Chains in Brazil.
Dec 12, 2024