Morgan Thomas

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 12

Top Topics

Polynomially Bounded

Reinforcement Learning

Scoring Functions

Top Venues

IACR Cryptol. ePrint Arch.

J. Cheminformatics

J. Philos. Log.

Publications

Albert Bou, Morgan Thomas, Sebastian Dittert, Carles Navarro Ramírez, Maciej Majewski, Ye Wang, Shivam Patel, Gary Tresadern, Mazen Ahmad, Vincent Moens, Woody Sherman, Simone Sciabola, Gianni De Fabritiis
ACEGEN: Reinforcement learning of generative chemical agents for drug discovery. CoRR (2024)
Morgan Thomas, Mazen Ahmad, Gary Tresadern, Gianni De Fabritiis
PromptSMILES: prompting for scaffold decoration and fragment linking in chemical language models. J. Cheminformatics 16 (1) (2024)
Morgan Thomas
Arithmetization of predicates into Halo 2 using application specific trace types. IACR Cryptol. ePrint Arch. 2023 (2023)
Ryan Holzhausen, Tasnuva Farheen, Morgan Thomas, Nima Maghari, Domenic Forte
Laser Fault Injection Vulnerability Assessment and Mitigation with Case Study on PG-TVD Logic Cells. ITC (2023)
Morgan Thomas, Noel M. O'Boyle, Andreas Bender, Chris de Graaf
Augmented Hill-Climb increases reinforcement learning efficiency for language-based de novo molecule generation. J. Cheminformatics 14 (1) (2022)
Morgan Thomas, Noel M. O'Boyle, Andreas Bender, Chris de Graaf
Re-evaluating sample efficiency in de novo molecule generation. CoRR (2022)
Anthony Hart, Morgan Thomas
Arithmetization of Σ¹₁ relations with polynomial bounds in Halo 2. IACR Cryptol. ePrint Arch. 2022 (2022)
Morgan Thomas
Arithmetization of Σ¹₁ relations in Halo 2. IACR Cryptol. ePrint Arch. 2022 (2022)
Morgan Thomas
Orbis Specification Language: a type theory for zk-SNARK programming. IACR Cryptol. ePrint Arch. 2022 (2022)
Morgan Thomas, Marino De Jesus Guzman, Nima Maghari
Look Ahead CLS in Pipelined SAR ADCs. ISCAS (2022)
Morgan Thomas, Robert T. Smith, Noel M. O'Boyle, Chris de Graaf, Andreas Bender
Comparison of structure- and ligand-based scoring functions for deep generative models: a GPCR case study. J. Cheminformatics 13 (1) (2021)
Morgan Thomas
Approximating Cartesian Closed Categories in NF-Style Set Theories. J. Philos. Log. 47 (1) (2018)
Morgan Thomas
A Generalization of the Routley-Meyer Semantic Framework. J. Philos. Log. 44 (4) (2015)