Search Results for author:
Found 3 papers, 1 papers with code
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.
