BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Dennis Müller

Dennis Müller contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
hep-thMachine LearningComputer Visionhep-phHuman-Computer Interactionmath-phmath.HOmath.MPMathematical Software

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
9topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2022arXiv

An Interactive Explanatory AI System for Industrial Quality Control

Machine learning based image classification algorithms, such as deep neural network approaches, will be increasingly employed in critical settings such as quality control in industry, where transparency and comprehensibility of decisions are crucial. Therefore, we aim to extend the defect detection task towards an interactive human-in-the-loop approach that allows us to integrate rich background knowledge and the inference of complex relationships going beyond traditional purely data-driven approaches. We propose an approach for an interactive support system for classifications in an industrial quality control setting that combines the advantages of both (explainable) knowledge-driven and data-driven machine learning methods, in particular inductive logic programming and convolutional neural networks, with human expertise and control. The resulting system can assist domain experts with decisions, provide transparent explanations for results, and integrate feedback from users; thus reducing workload for humans while both respecting their expertise and without removing their agency or accountability.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

A Hippocratic Oath for mathematicians? Mapping the landscape of ethics in mathematics

While the consequences of mathematically-based software, algorithms and strategies have become ever wider and better appreciated, ethical reflection on mathematics has remained primitive. We review the somewhat disconnected suggestions of commentators in recent decades with a view to piecing together a coherent approach to ethics in mathematics. Calls for a Hippocratic Oath for mathematicians are examined and it is concluded that while lessons can be learned from the medical profession, the relation of mathematicians to those affected by their work is significantly different. There is something to be learned also from the codes of conduct of cognate but professionalised quantitative disciplines such as engineering and accountancy, as well as from legal principles bearing on professional work. We conclude with recommendations that professional societies in mathematics should sponsor an (international) code of ethics, institutional mission statements for mathematicians and syllabuses for incorporation into mathematics degrees.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Disambiguating Symbolic Expressions in Informal Documents

We propose the task of disambiguating symbolic expressions in informal STEM documents in the form of LaTeX files - that is, determining their precise semantics and abstract syntax tree - as a neural machine translation task. We discuss the distinct challenges involved and present a dataset with roughly 33,000 entries. We evaluated several baseline models on this dataset, which failed to yield even syntactically valid LaTeX before overfitting. Consequently, we describe a methodology using a transformer language model pre-trained on sources obtained from arxiv.org, which yields promising results despite the small size of the dataset. We evaluate our model using a plurality of dedicated techniques, taking the syntax and semantics of symbolic expressions into account.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Overlaps and Fermionic Dualities for Integrable Super Spin Chains

The psu(2,2|4) integrable super spin chain underlying the AdS/CFT correspondence has integrable boundary states which describe set-ups where k D3-branes get dissolved in a probe D5-brane. Overlaps between Bethe eigenstates and these boundary states encode the one-point functions of conformal operators and are expressed in terms of the superdeterminant of the Gaudin matrix that in turn depends on the Dynkin diagram of the symmetry algebra. The different possible Dynkin diagrams of super Lie algebras are related via fermionic dualities and we determine how overlap formulae transform under these dualities. As an application we show how to consistently move between overlap formulae obtained for k=1 from different Dynkin diagrams.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Yangian Bootstrap for Conformal Feynman Integrals

We explore the idea to bootstrap Feynman integrals using integrability. In particular, we put the recently discovered Yangian symmetry of conformal Feynman integrals to work. As a prototypical example we demonstrate that the D-dimensional box integral with generic propagator powers is completely fixed by its symmetries to be a particular linear combination of Appell hypergeometric functions. In this context the Bloch-Wigner function arises as a special Yangian invariant in 4D. The bootstrap procedure for the box integral is naturally structured in algorithmic form. We then discuss the Yangian constraints for the six-point double box integral as well as for the related hexagon. For the latter we argue that the constraints are solved by a set of generalized Lauricella functions and we comment on complications in identifying the integral as a certain linear combination of these. Finally, we elaborate on the close relation to the Mellin-Barnes technique and argue that it generates Yangian invariants as sums of residues.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Integrable boundary states in D3-D5 dCFT: beyond scalars

A D3-D5 intersection gives rise to a defect CFT, wherein the rank of the gauge group jumps by k units across a domain wall. The one-point functions of local operators in this set-up map to overlaps between on-shell Bethe states in the underlying spin chain and a boundary state representing the D5 brane. Focussing on the k=1 case, we extend the construction to gluonic and fermionic sectors, which was prohibitively difficult to achieve for k>1. As a byproduct, we test an all-loop proposal for the one-point functions in the su(2) sector at the half-wrapping order of perturbation theory.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The Space of Mathematical Software Systems -- A Survey of Paradigmatic Systems

Mathematical software systems are becoming more and more important in pure and applied mathematics in order to deal with the complexity and scalability issues inherent in mathematics. In the last decades we have seen a cambric explosion of increasingly powerful but also diverging systems. To give researchers a guide to this space of systems, we devise a novel conceptualization of mathematical software that focuses on five aspects: inference covers formal logic and reasoning about mathematical statements via proofs and models, typically with strong emphasis on correctness; computation covers algorithms and software libraries for representing and manipulating mathematical objects, typically with strong emphasis on efficiency; concretization covers generating and maintaining collections of mathematical objects conforming to a certain pattern, typically with strong emphasis on complete enumeration; narration covers describing mathematical contexts and relations, typically with strong emphasis on human readability; finally, organization covers representing mathematical contexts and objects in machine-actionable formal languages, typically with strong emphasis on expressivity and system interoperability. Despite broad agreement that an ideal system would seamlessly integrate all these aspects, research has diversified into families of highly specialized systems focusing on a single aspect and possibly partially integrating others, each with their own communities, challenges, and successes. In this survey, we focus on the commonalities and differences of these systems from the perspective of a future multi-aspect system.

0 citations0 reviewsNo code linkedOpen access