research
∙
05/20/2023
CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
Cryptographic protocols are extremely hard to design and prove correct, ...
share
research
∙
03/10/2023
Lemmas: Generation, Selection, Application
Noting that lemmas are a key feature of mathematics, we engage in an inv...
research
∙
08/04/2022
Petri Nets for Concurrent Programming
Concurrent programming is used in all large and complex computer systems...
research
∙
03/01/2022
Topological Data Analysis for Word Sense Disambiguation
We develop and test a novel unsupervised algorithm for word sense induct...
research
∙
02/10/2022
Optimal Transport for Super Resolution Applied to Astronomy Imaging
Super resolution is an essential tool in optics, especially on interstel...
research
∙
01/28/2022
Top-K Ranking Deep Contextual Bandits for Information Selection Systems
In today's technology environment, information is abundant, dynamic, and...
research
∙
12/02/2021
Convergence Guarantees for Deep Epsilon Greedy Policy Learning
Policy learning is a quickly growing area. As robotics and computers con...
research
∙
10/08/2021