Publications (10)
GFLean: An Autoformalisation Framework for Lean via GF
Shashank Pathak
We present an autoformalisation framework for the Lean theorem prover, called GFLean. GFLean uses a high-level grammar writing tool called Grammatical Framework (GF) for parsing an…
Monitoring the evolution of relative product populations at early times during a photochemical reaction
Joao Pedro Figueira Nunes, Lea Maria Ibele, Shashank Pathak +31
Identifying multiple rival reaction products and transient species formed during ultrafast photochemical reactions and determining their time-evolving relative populations are key…
Robust Active Perception via Data-association aware Belief Space planning
Shashank Pathak, Antony Thomas, Asaf Feniger +1
We develop a belief space planning (BSP) approach that advances the state of the art by incorporating reasoning about data association (DA) within planning, while considering addit…
Multiple-core-hole resonance spectroscopy with ultraintense X-ray pulses
Aljoscha Rörig, Sang-Kil Son, Tommaso Mazza +14
Understanding the interaction of intense, femtosecond X-ray pulses with heavy atoms is crucial for gaining insights into the structure and dynamics of matter. One key aspect of non…
Tracking the Ultraviolet Photochemistry of Thiophenone During and Beyond the Initial Ultrafast Ring Opening
Shashank Pathak, Lea M. Ibele, Rebecca Boll +19
Photoinduced isomerization reactions, including ring-opening reactions, lie at the heart of many processes in nature. The mechanisms of such reactions are determined by a delicate…
Time-Resolved Coulomb Explosion Imaging Unveils Ultrafast Ring Opening of Furan
Enliang Wang, Surjendu Bhattacharyya, Keyu Chen +10
Following the changes in molecular structure throughout the entirety of a chemical reaction with atomic resolution is a long-term goal in femtochemistry. Although the development o…
Pre-trained protein language model for codon optimization
Shashank Pathak, Guohui Lin
Motivation: Codon optimization of Open Reading Frame (ORF) sequences is essential for enhancing mRNA stability and expression in applications like mRNA vaccines, where codon choice…
Probing the structure of cyclic hydrocarbon molecules with X-ray-induced Coulomb explosion imaging
Kurtis D. Borne, Rebecca Boll, Thomas M. Baumann +27
Coulomb explosion imaging (CEI) is a powerful experimental technique that maps a molecule's geometric structure onto the momenta of ionic molecular fragments produced by rapid mult…
A Closed-form Approximation for Impulse Response of Fractionally Damped Oscillators
Shashank Pathak, Michael Ruzhansky, Karel Van Bockstal
We consider a fractionally damped oscillator, where the damping term is expressed by the Caputo fractional derivative of order The impulse response of this oscillato…
A Coincidence Velocity Map Imaging Spectrometer for Ions and High-Energy Electrons to Study Inner-Shell Photoionization of Gas-Phase Molecules
Utuq Ablikim, Cédric Bomme, Timur Osipov +11
We report on the design and performance of a double-sided coincidence velocity map imaging spectrometer optimized for electron-ion and ion-ion coincidence experiments studying inne…