Recent Research Signals

Found 9 results

Filtering papers...

Paper	Possible Impact	Features	Possible Business Area
Aggregating maximal cliques in real-world graphs Data Structures and Algorithms	Finds important groups in data faster.	Google Princeton University Microsoft 2 Countries	Big Data (73%)	Score: 5 2 days ago
MoReGen: Multi-Agent Motion-Reasoning Engine for Code-based Text-to-Video Synthesis CV and Pattern Recognition	Makes videos follow real-world physics rules.	Microsoft Code 2 Countries	Motion Capture (80%)	Score: 4 2 days ago
G-KV: Decoding-Time KV Cache Eviction with Global Attention Computation and Language	Makes AI remember more without slowing down.	Microsoft Code 2 Countries	Natural Language Processing (75%)	Score: 3 6 days ago
Memory-Integrated Reconfigurable Adapters: A Unified Framework for Settings with Multiple Tasks Machine Learning (CS)	AI learns new things without forgetting old ones.	Microsoft 2 Countries	Intelligent Systems (78%)	Score: 3 5 days ago
Computational Paths Form a Weak ω-Groupoid Logic in Computer Science	Makes computer math proofs have clear, step-by-step answers.	Microsoft 2 Countries	Quantum Computing (74%)	Score: 2 6 days ago
IndiMathBench: Autoformalizing Mathematical Reasoning Problems with a Human Touch Artificial Intelligence	Helps computers prove math problems from Olympiads.	Microsoft Code	Artificial Intelligence (80%)	Score: 2 5 days ago
The Seifert-van Kampen Theorem via Computational Paths: A Formalized Approach to Computing Fundamental Groups Logic in Computer Science	Makes math proofs about shapes easier for computers.	Microsoft 2 Countries	E-Signature (74%)	Score: 2 3 days ago
Towards Active Synthetic Data Generation for Finetuning Language Models Machine Learning (CS)	Teaches computers to learn better from examples.	Microsoft	Natural Language Processing (80%)	Score: 1 5 days ago
Tunable Automation in Automated Program Verification Software Engineering	Lets computers check code faster and better.	Microsoft	Industrial Automation (78%)	Score: 1 2 days ago