Conclusion

Contributions

• Different proofs are good proofs
• Combined proofs are different proofs
• Hill climbing controls combining proofs

Future Work

• Testing on TSTP proofs
• Combine proofs from different problems with same axioms
• Try some broader searches than strict hill-climbing
• Generalize formula equivalence

• Apply proof combining to
  • Scientific provenance traces
  • Security reasoning
  • Geo-physical evidence