Search Results for author:
Found 4 papers, 1 papers with code
3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
We first demonstrate that it is possible to generate semantically aware tactic representations which capture the effect on the proving environment, likelihood of success and execution time.
BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
We also provide a qualitative analysis, illustrating that improved performance is associated with more semantically-aware embeddings.
Computer Assisted Composition in Continuous Time
We address the problem of combining sequence models of symbolic music with user defined constraints.
Generalised Discount Functions applied to a Monte-Carlo AImu Implementation
We have added to the GRL simulation platform AIXIjs the functionality to assign an agent arbitrary discount functions, and an environment which can be used to determine the effect of discounting on an agent's policy.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
