Jieh Hsiang
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Semantic Web and Ontologies, Natural Language Processing Techniques
Most-Cited Works
- → Patent classification by fine-tuning BERT language model(2020)213 cited
- → PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems(1996)209 cited
- → Refutational theorem proving using term-rewriting systems(1985)199 cited
- → On word problems in equational theories(1987)156 cited
- → Various criteria in the evaluation of biomedical named entity recognition(2006)132 cited
- Orderings for Equational Proofs(1986)
- → Proving refutational completeness of theorem-proving strategies(1991)118 cited
- → Rewrite methods for clausal and non-clausal theorem proving(2006)91 cited
- → PatentBERT: Patent Classification with Fine-Tuning a pre-trained BERT Model(2019)86 cited
- Topics in automated theorem proving and program generation(1983)