Type
Facility
Country
Germany
DE
Documents
210
through any edge
Papers
210
authorship edges
Awards made
—
Named as funder
—
Identifiers
Papers
Documents in the 44B Library with Max Planck Institute for Software Systems on the authorship, newest first.
2026-07-09 · 3 authors here
Learning Unions of Intersecting Affine Modules in One Dimension with Queries
2026-05-24 · 4 authors here
Follow the STARs: Dynamic ?-Regular Shielding of Learned Probabilistic Policies
2026-05-22 · 11 authors here
Peeking Under the Hood of Multi-Agent Systems
2026-05-18 · 9 authors here
Setting the Course, but Forgetting to Steer: Analyzing Compliance with GDPR's Right of Access to Data by Instagram, TikTok, and Youtube
2026-04-22 · 6 authors here
Semantic Recall for Vector Search
2026-04-11 · 2 authors here
ClawVM: Harness-Managed Virtual Memory for Stateful Tool-Using LLM Agents
2026-04-09 · 6 authors here
Bowling with ChatGPT: On the Evolving User Interactions with Conversational AI Systems
2026-04-06 · 7 authors here
DCC: Data-Centric Compilation of Machine Learning Kernels for Processing-In-Memory
2026-04-06 · 7 authors here
DCC: Data-Centric Compilation of Machine Learning Kernels for Processing-In-Memory
2026-03-14 · 12 authors here
GLANCE: Global Actions in a Nutshell for Counterfactual Explainability
2026-03-14 · 4 authors here
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
2026-03-14 · 5 authors here
Incremental Data-Driven Policy Synthesis via Game Abstractions
2026-03-14 · 6 authors here
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
2026-03-10 · 6 authors here
Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives
2026-02-01 · 5 authors here
Length Generalization Bounds for Transformers
2026-02-01 · 5 authors here
Length Generalization Bounds for Transformers
2026-01-01 · 6 authors here
Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
2026-01-01 · 3 authors here
Hypersequent Calculi Have Ackermann Complexity
2025-11-01 · 7 authors here
Model Checking Linear Temporal Logic with Standpoint Modalities
2025-10-21 · 9 authors here
History-Aware and Dynamic Client Contribution in Federated Learning
2025-08-09 · 2 authors here
Human-alignment influences the utility of AI-assisted decision making
2025-07-29 · 15 authors here
A consensus privacy metrics framework for synthetic data
2025-06-22 · 2 authors here
Everything You Wanted to Know About Graph Neural Network Partitioning (But Were Afraid to Ask)
2025-06-13 · 4 authors here
Prompt Programming: A Platform for Dialogue-based Computational Problem Solving with Generative AI Models
2025-06-07 · 4 authors here
ClipMind: A Framework for Auditing Short-Format Video Recommendations Using Multimodal AI Models
Funding
Read from the funding tables, never from the document count — that count includes authorship, so it ranks institutions, not funders.
Who funds this work
Funders named on the papers above. The record holds no recipient field, so this is reached through the documents themselves — and the two columns are two different claims, kept apart.
Under a named grant
funding_awards — the award carries a grant number
Listed as funder
doc_funder_links — named, with no grant number