Research at the boundaries of sense

Formal Systems with blurred edges

Unsuspicious Industries is a research collective working across computer science, critical theory and the natural sciences.

Dynamic & Formal Systems lab

Research on proof systems, strong normalization and applied type theory.

KARL Revolutionary-text corpus & model Remblais Optimal-transport image morphing

philosophy courses should teach how to use proof assistants

Alcuin 𝕏, @scheminglunatic

Axiomatic Elaboration team

Research on formal approaches to ethics and rational thought.

Political Alignment Bias probes in language models

Ethics and æsthetics are one

Wittgenstein 6.421

Industrial Infrastructure

Runtime and transport infrastructure for large-scale computation.

mpi-rma Typed MPI one-sided transport trame Portable execution backends

Macroeconomics formalization department

Formalizing economics research with high-performance computing and formal systems; modeling emergent market behavior from first principles.

Gilles Economics lab Class-based utility & revolt-potential model

In the long run we are all dead

J.M Keynes A Tract on Monetary Reform (1923)

Automated Reasoning division

Developing automated tools to support human reasoning and discovery.

AUFBAU Constrained decoding

La connaissance est devenue force productive immédiate, et, par suite, [...] les conditions du processus vital de la société sont elles-mêmes passées sous le contrôle de l' intellect général, et sont réorganisées conformément à lui.

Karl Marx Grundrisse

LSH Department

Research on history, art and literature.

SLOP Diffusion latent space

Les Hommes ont inventé la Naphthaline de la Beauté, cela s'appelle l'Art. C'est quelque fois un peu erratique dans ses formes, mais c'est quelque fois très beau.

Chris Marker Le joli Mai