FormalScience: Scalable Human-in-the-Loop Autoformalisation
FormalScience enables cost-effective, scalable autoformalisation of scientific proofs with human-in-the-loop agentic code generation in Lean.
Causal Wi-Fi CSI Human Activity Recognition with LTL Rules
Discover a novel Wi-Fi CSI-based human activity recognition method using discrete latent compression and LTL rule extraction for better interpretability.
Inverse Solutions for Preference-Based Argumentation Explained
Explore inverse solutions in preference-based argumentation frameworks and their impact on AI decision-making and preference elicitation.
Power Law Boosts AI Learning in Compositional Reasoning
Discover how power-law data distribution enhances AI compositional reasoning, outperforming uniform methods in efficiency and skill learning.
PExA: Fast, Accurate Parallel Text-to-SQL Agent
Discover PExA, the parallel exploration agent boosting text-to-SQL accuracy to 70.2% while reducing latency. Revolutionize SQL query generation now.