scientific article; zbMATH DE number 1149430
From MaRDI portal
Publication:4386952
Recommendations
- Learning a representation for optimizable formulas
- A model+solver approach to concept learning
- scientific article; zbMATH DE number 1256689
- Improving the time efficiency of proving theorems using a learning mechanism
- Exact learning of formulas in parallel
- scientific article; zbMATH DE number 67461
- Learning solution preferences in constraint problems
- Learning Algorithms and Formal Verification (Invited Tutorial)
Cited in
(10)- scientific article; zbMATH DE number 4164202 (Why is no real title available?)
- Macro-operators: A weak method for learning
- scientific article; zbMATH DE number 140375 (Why is no real title available?)
- scientific article; zbMATH DE number 4051039 (Why is no real title available?)
- Fast structured prediction using large margin sigmoid belief networks
- scientific article; zbMATH DE number 67611 (Why is no real title available?)
- Interleaving enhances learning: a possible geometric explanation
- scientific article; zbMATH DE number 67783 (Why is no real title available?)
- Shifting vocabulary bias in speedup learning
- Quantifying inductive bias: AI learning algorithms and Valiant's learning framework
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4386952)
