Microsoft
Corporate • 🇺🇸 United States
Big TechPapers (L12M)
516
Researchers (≈)
598
Papers w/ Code
137
Papers w/ Dataset
17
Topic Overview
Bubble chart placeholder
Recent Papers (see all )
MoReGen: Multi-Agent Motion-Reasoning Engine for Code-based Text-to-Video Synthesis
Code
CV and Pattern Recognition
Aggregating maximal cliques in real-world graphs
Data Structures and Algorithms
Tunable Automation in Automated Program Verification
Software Engineering
The Seifert-van Kampen Theorem via Computational Paths: A Formalized Approach to Computing Fundamental Groups
Logic in Computer Science
IndiMathBench: Autoformalizing Mathematical Reasoning Problems with a Human Touch
Code
Artificial Intelligence