Tootfinder

Can Large Language Models Autoformalize Kinematics?
Aditi Kabra, Jonathan Laurent, Sagar Bharadwaj, Ruben Martins, Stefan Mitsch, Andr\'e Platzer
https://arxiv.org/abs/2509.21840

Can Large Language Models Autoformalize Kinematics?
Autonomous cyber-physical systems like robots and self-driving cars could greatly benefit from using formal methods to reason reliably about their control decisions. However, before a problem can be solved it needs to be stated. This requires writing a formal physics model of the cyber-physical system, which is a complex task that traditionally requires human expertise and becomes a bottleneck. This paper experimentally studies whether Large Language Models (LLMs) can automate the formalizati…

➤ Our newest OpenOlat release 20.2 is now ready for download
The 20.2 release introduces a new certification and recertification module for the Course Planner that makes use of the also new Credit Point system. In addition, the Coaching Tool has been greatly improved. More details in the release notes:
https://

➤ Our newest OpenOlat release 20.2 is now ready for download
The 20.2 release introduces a new certification and recertification module for the Course Planner that makes use of the also new Credit Point system. In addition, the Coaching Tool has been greatly improved. More details in the release notes:
https://

Enabling Time-Aware Priority Traffic Management over Distributed FPGA Nodes
Alberto Scionti, Paolo Savio, Francesco Lubrano, Federico Stirano, Antonino Nespola, Olivier Terzo, Corrado De Sio, Luca Sterpone
https://arxiv.org/abs/2509.26043

Enabling Time-Aware Priority Traffic Management over Distributed FPGA Nodes
Network Interface Cards (NICs) greatly evolved from simple basic devices moving traffic in and out of the network to complex heterogeneous systems offloading host CPUs from performing complex tasks on in-transit packets. These latter comprise different types of devices, ranging from NICs accelerating fixed specific functions (e.g., on-the-fly data compression/decompression, checksum computation, data encryption, etc.) to complex Systems-on-Chip (SoC) equipped with both general purpose processor…

Gradual assembly of metabolism at a phosphorylating hydrothermal vent
Natalia Mrnjavac, Nadja K. Hoffmann, Manon L. Schlikker, Maximilian Burmeister, Loraine Schwander, Carolina Garcia Garcia, Max Brabender, Mike Steel, Daniel H. Huson, Sabine Metzger, Quentin Dherbassy, Bernhard Schink, Mirko Basen, Joseph Moran, Harun Tueysuez, Martina Preiner, William F. Martin

Gradual assembly of metabolism at a phosphorylating hydrothermal vent
The origin of microbial cells required the emergence of metabolism, an autocatalytic network of roughly 400 enzymatically catalyzed chemical reactions that synthesize the building blocks of life: amino acids, nucleotides and cofactors. Proposals for metabolic origin are theoretical in nature [1-9], empirical studies addressing the origin and early evolution of the 400-reaction chemical network itself are lacking. Here we identify intermediate states in the primordial assembly of metabolism from…

MORSE: Multiple Orthogonal Reference Sensitivity Encoding
Oliver Josephs, Barbara Dymerska, Nadine N. Graedel, Yael Balbastre, Nadege Corbin, Martina F. Callaghan
https://arxiv.org/abs/2510.09098

MORSE: Multiple Orthogonal Reference Sensitivity Encoding
Parallel imaging is ubiquitous in MRI, enabling diverse applications such as ultra-high-resolution functional and quantitative imaging with greater temporal resolution or reduced scan times respectively. Successful unfolding is contingent on robust and accurate estimation of the relative coil sensitivities, which often involves computation times that preclude real-time deployment. Here we present a computationally-efficient method of robustly estimating coil sensitivities, and reconstructing un…