Resultados de búsqueda - Cerna, David

  • Mostrando 1 - 13 Resultados de 13
Limitar resultados
  1. 1
    Imagen de Portada

    Schematic Unification Autoría: Cerna, David M.

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

    Agregar a favoritos
    Guardado en:
  2. 2
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  3. 3
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  4. 4
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  5. 5
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  6. 6
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  7. 7
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  8. 8
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  9. 9
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  10. 10
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  11. 11
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  12. 12
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  13. 13
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: