Search Results for author:
Found 8 papers, 2 papers with code
Superposition with Delayed Unification
We discuss some of the benefits this has even for standard first-order superposition and provide an experimental evaluation.
Lemmas: Generation, Selection, Application
Noting that lemmas are a key feature of mathematics, we engage in an investigation of the role of lemmas in automated theorem proving.
Motion correction in MRI using deep learning and a novel hybrid loss function
Evaluation used simulated T1 and T2-weighted axial, coronal, and sagittal images unseen during training, as well as T1-weighted images with motion artifacts from real scans.
Topological Data Analysis for Word Sense Disambiguation
We develop and test a novel unsupervised algorithm for word sense induction and disambiguation which uses topological data analysis.
Optimal Transport for Super Resolution Applied to Astronomy Imaging
Super resolution is an essential tool in optics, especially on interstellar scales, due to physical laws restricting possible imaging resolution.
Top-K Ranking Deep Contextual Bandits for Information Selection Systems
Contextual multi-armed bandit has been widely used for learning to filter contents and prioritize according to user interest or relevance.
Convergence Guarantees for Deep Epsilon Greedy Policy Learning
We show an error or regret bound and convergence of the Deep Epsilon Greedy method which chooses actions with a neural network's prediction.
Deep Upper Confidence Bound Algorithm for Contextual Bandit Ranking of Information Selection
Contextual multi-armed bandits (CMAB) have been widely used for learning to filter and prioritize information according to a user's interest.
