Sean Lamont

According to our database, Sean Lamont authored at least 7 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Use of cryptography in malware obfuscation.

Hassan Jameel Asghar, Benjamin Zi Hao Zhao, Muhammad Ikram, Giang Linh Duc Nguyen, Dali Kaafar, Sean Lamont, Daniel Coscia

J. Comput. Virol. Hacking Tech., 2024

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes.

Sean Lamont, Christian Walder, Amir Dezfouli, Paul Montague, Michael Norrish

CoRR, 2024

BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving.

Sean Lamont, Michael Norrish, Amir Dezfouli, Christian Walder, Paul Montague

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2022

SoK: Use of Cryptography in Malware Obfuscation.

Hassan Jameel Asghar, Benjamin Zi Hao Zhao, Muhammad Ikram, Giang Linh Duc Nguyen, Dali Kaafar, Sean Lamont, Daniel Coscia

IACR Cryptol. ePrint Arch., 2022

2019

Computer Assisted Composition in Continuous Time.

Chamin Hewa Koneputugodage, Rhys Healy, Sean Lamont, Ian Mallett, Matt Brown, Matt Walters, Ushini Attanayake, Libo Zhang, Roger T. Dean, Alexander Hunter, Charles Gretton, Christian Walder

CoRR, 2019

2017

Generalised Discount Functions applied to a Monte-Carlo AImu Implementation.

Sean Lamont, John Aslanides, Jan Leike, Marcus Hutter

CoRR, 2017

Generalised Discount Functions applied to a Monte-Carlo AI u Implementation.

Sean Lamont, John Aslanides, Jan Leike, Marcus Hutter

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017