3 papers
q-bio.QM2024
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…
cs.CL2024
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…
physics.atom-ph2023
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…