Michael Rawson

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 21

Top Topics

Super Resolution

Upper Confidence Bound

Sense Disambiguation

Top Venues

Publications

Robin Coutelier, Laura Kovács, Michael Rawson, Jakob Rath
SAT-Based Subsumption Resolution. CoRR (2024)
Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel
Lemmas: Generation, Selection, Application. CoRR (2023)
Michael Rawson, Jakob Hultgren
Optimal Transport for Super Resolution Applied to Astronomy Imaging. CoRR (2022)
Marshall Rawson, Michael Rawson
Petri Nets for Concurrent Programming. CoRR (2022)
Michael Rawson, Jakob Hultgren
Optimal Transport for Super Resolution Applied to Astronomy Imaging. EUSIPCO (2022)
Michael Rawson, Martin Suda, Petra Hozzová, Giles Reger
Reuse of Introduced Symbols in Automatic Theorem Provers (short paper). PAAR@IJCAR (2022)
Michael Rawson, Samuel Dooley, Mithun Bharadwaj, Rishabh Choudhary
Topological Data Analysis for Word Sense Disambiguation. CoRR (2022)
Márton Hajdú, Laura Kovács, Michael Rawson, Andrei Voronkov
The Vampire Approach to Induction (short paper). PAAR@IJCAR (2022)
Lei Zhang, Xiaoke Wang, Michael Rawson, Radu Balan, Edward H. Herskovits, Elias Melhem, Linda Chang, Ze Wang, Thomas Ernst
Motion correction in MRI using deep learning and a novel hybrid loss function. CoRR (2022)
Jade Freeman, Michael Rawson
Top-K Ranking Deep Contextual Bandits for Information Selection Systems. CoRR (2022)
Michael Rawson, Giles Reger
Eliminating Models During Model Elimination. TABLEAUX (2021)
Michael Rawson, Giles Reger
lazyCoP: Lazy Paramodulation Meets Neurally Guided Search. TABLEAUX (2021)
Michael Rawson, Jade Freeman
Deep Upper Confidence Bound Algorithm for Contextual Bandit Ranking of Information Selection. CoRR (2021)
Michael Rawson, Giles Reger
A Multithreaded Vampire with Shared Persistent Grounding. FMCAD (2021)
Jade Freeman, Michael Rawson
Top-K Ranking Deep Contextual Bandits for Information Selection Systems. SMC (2021)
Michael Rawson, Radu Balan
Convergence Guarantees for Deep Epsilon Greedy Policy Learning. CoRR (2021)
Michael Rawson, Giles Reger
Directed Graph Networks for Logical Reasoning (Extended Abstract). PAAR+SC²@IJCAR (2020)
Michael Rawson, Giles Reger
Old or Heavy? Decaying Gracefully with Age/Weight Shapes. CADE (2019)
Michael Rawson, Giles Reger
A Neurally-Guided, Parallel Theorem Prover. FroCos (2019)
Michael Rawson, Giles Reger
Dynamic Strategy Priority: Empower the Strong and Abandon the Weak. PAAR@FLoC (2018)
Michael Rawson
Verified Metatheory and Type Inference for a Name-Carrying Simply-Typed Lambda Calculus. Arch. Formal Proofs 2017 (2017)