Boost Formal Theorem Provers Using Compiler Output Compression
Enhance formal theorem proving efficiency with compiler output compression and learning-to-refine frameworks for scalable, state-of-the-art reasoning.
Brazil’s Vaccine Debate: Media Influence & Polarization Study
Explore how media shapes Brazil's vaccine debate with a study on stance, polarization, and public health communication in YouTube's ecosystem.
Analyzing User Behaviors and Emotions via Complex Data
Explore advanced methods for modeling user behaviors and emotions through complex social data to enhance digital experiences and marketing strategies.
A-MAR: Agent-Based Multimodal Art Retrieval Explained
Discover A-MAR, an agent-based multimodal art retrieval system enhancing fine-grained artwork understanding with explicit reasoning and evidence.
Synthetic Trajectory Generators: Utility & Privacy Risks
Explore the balance between utility and privacy in synthetic trajectory generators with our evaluation framework and privacy risk analysis.