BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

David Millard
SearchCollections
Map detail
David Millard14 visible / 14 total nodes / 36 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextRelated contextRelated contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onWorks onAuthorshipAuthorshipWorks onWorks onAuthorshipAuthorshipWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalDavid MillardADavid MillardResearcherCan We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural OperatorsWCan We Formally Verify ...preprint / 2026Stability of the Monge Map in Semi-Dual Optimal TransportWStability of the Monge ...preprint / 2026Ali BaheriAAli BaheriResearcherAnton SelitskiyAAnton SelitskiyResearcherIgnacio Laguna PeraltaAIgnacio Laguna PeraltaResearcherMachine LearningTMachine Learning49008 worksAutomatic Differentiation and Continuous Sensitivity Analysis of Rigid Body DynamicsWAutomatic Differentiati...preprint / 2020Can Optimal Transport Improve Federated Inverse Reinforcement Learning?WCan Optimal Transport I...preprint / 2026Artificial IntelligenceTArtificial Intelligence22915 worksmath.OCTmath.OC9232 worksAugmenting Differentiable Simulators with Neural Networks to Close the Sim2Real GapWAugmenting Differentiab...preprint / 2020Interactive Differentiable SimulationWInteractive Differentia...preprint / 2020Probabilistic Inference of Simulation Parameters via Parallel Differentiable SimulationWProbabilistic Inference...preprint / 2022
Person13 links

David Millard

Researcher

PaperCan We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural OperatorsAuthorship / preprint / 2026PaperStability of the Monge Map in Semi-Dual Optimal TransportAuthorship / preprint / 2026PersonAli BaheriCo-authorship / ResearcherPersonAnton SelitskiyCo-authorship / ResearcherPersonIgnacio Laguna PeraltaCo-authorship / ResearcherTopicMachine LearningWorks on / 49008 worksPaperAutomatic Differentiation and Continuous Sensitivity Analysis of Rigid Body DynamicsAuthorship / preprint / 2020PaperCan Optimal Transport Improve Federated Inverse Reinforcement Learning?Authorship / preprint / 2026

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)