Risultati della ricerca - Cerna, David

  • Mostra 1 - 13 risultati su 13
Raffina i risultati
  1. 1
    Copertina

    Schematic Unification Autoría: Cerna, David M.

    Pubblicazione 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  2. 2
    Copertina

    A Note On Square-free Sequences and Anti-unification Type Autoría: Cerna, David M.

    Pubblicazione 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  3. 3
    Copertina

    One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus Autoría: Cerna, David M., Buran, Michal

    Pubblicazione 2022
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  4. 4
    Copertina

    Generalisation Through Negation and Predicate Invention Autoría: Cerna, David M., Cropper, Andrew

    Pubblicazione 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  5. 5
    Copertina

    One is all you need: Second-order Unification without First-order Variables Autoría: Cerna, David M., Parsert, Julian

    Pubblicazione 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  6. 6
    Copertina

    Efficient rule induction by ignoring pointless rules Autoría: Cropper, Andrew, Cerna, David M.

    Pubblicazione 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  7. 7
    Copertina

    Learning Rules Explaining Interactive Theorem Proving Tactic Prediction Autoría: Zhang, Liao, Cerna, David M., Kaliszyk, Cezary

    Pubblicazione 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  8. 8
    Copertina

    Honey, I shrunk the hypothesis space (through logical preprocessing) Autoría: Cropper, Andrew, Gouveia, Filipe, Cerna, David M.

    Pubblicazione 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  9. 9
    Copertina

    Symmetry breaking for inductive logic programming Autoría: Cropper, Andrew, Cerna, David M., Järvisalo, Matti

    Pubblicazione 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  10. 10
    Copertina

    Differentiable Inductive Logic Programming in High-Dimensional Space Autoría: Purgał, Stanisław J., Cerna, David M., Kaliszyk, Cezary

    Pubblicazione 2022
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  11. 11
    Copertina

    Scalable Knowledge Refactoring using Constrained Optimisation Autoría: Liu, Minghao, Cerna, David M., Gouveia, Filipe, Cropper, Andrew

    Pubblicazione 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  12. 12
    Copertina

    Equational Anti-Unification over Absorption Theories Autoría: Ayala-Rincon, Mauricio, Cerna, David M., Barragan, Andres Felipe Gonzalez, Kutsia, Temur

    Pubblicazione 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  13. 13
    Copertina

    Learning Guided Automated Reasoning: A Brief Survey Autoría: Blaauwbroek, Lasse, Cerna, David, Gauthier, Thibault, Jakubův, Jan, Kaliszyk, Cezary, Suda, Martin, Urban, Josef

    Pubblicazione 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: