PSATO: a distributed propositional prover and its application to quasigroup problems H Zhang, MP Bonacina, J Hsiang Journal of Symbolic Computation 21 (4-6), 543-560, 1996 | 311 | 1996 |
Refutational theorem proving using term-rewriting systems J Hsiang Artificial Intelligence 25 (3), 255-300, 1985 | 269 | 1985 |
Orderings for equational proofs L Bachmair Proc. Sympo. on Logic in Computer Science, 346-357, 1986 | 264 | 1986 |
On word problems in equational theories J Hsiang, M Rusinowitch Automata, Languages and Programming: 14th International Colloquium Karlsruhe …, 1987 | 235 | 1987 |
Proving refutational completeness of theorem-proving strategies: The transfinite semantic tree method J Hsiang, M Rusinowitch Journal of the ACM (JACM) 38 (3), 558-586, 1991 | 190 | 1991 |
Patent claim generation by fine-tuning OpenAI GPT-2 JS Lee, J Hsiang World Patent Information 62, 101983, 2020 | 151 | 2020 |
Patent classification by fine-tuning BERT language model JS Lee, J Hsiang World Patent Information 61, 101965, 2020 | 150 | 2020 |
Various criteria in the evaluation of biomedical named entity recognition RTH Tsai, SH Wu, WC Chou, YC Lin, D He, J Hsiang, TY Sung, WL Hsu BMC bioinformatics 7, 1-8, 2006 | 148 | 2006 |
Patentbert: Patent classification with fine-tuning a pre-trained bert model JS Lee, J Hsiang arXiv preprint arXiv:1906.02124, 2019 | 128 | 2019 |
Rewrite methods for clausal and non-clausal theorem proving J Hsiang, N Dershowitz International Colloquium on Automata, Languages, and Programming, 331-346, 1983 | 120 | 1983 |
Topics in automated theorem proving and program generation J Hsiang University of Illinois at Urbana-Champaign, 1983 | 85 | 1983 |
An architecture and category knowledge for intelligent information retrieval agents HC Tu, J Hsiang Decision Support Systems 28 (3), 255-268, 2000 | 70 | 2000 |
A new method for establishing refutational completeness in theorem proving J Hsiang, M Rusinowitch 8th International Conference on Automated Deduction: Oxford, England, July …, 1986 | 66 | 1986 |
Automated proofs of the Moufang identities in alternative rings S Anantharaman, J Hsiang Journal of Automated Reasoning 6 (1), 79-109, 1990 | 65 | 1990 |
Exploring alternative metrics of scholarly performance in the social sciences and humanities in Taiwan K Chen, M Tang, C Wang, J Hsiang Scientometrics 102, 97-112, 2015 | 63 | 2015 |
On finite representations of infinite sequences of terms H Chen, J Hsiang, HC Kong Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop …, 1991 | 63 | 1991 |
Integrating linguistic knowledge into a conditional random fieldframework to identify biomedical named entities T Tsai, WC Chou, SH Wu, TY Sung, J Hsiang, WL Hsu Expert Systems with Applications 30 (1), 117-128, 2006 | 58 | 2006 |
Towards a foundation of completion procedures as semidecision procedures MP Bonacina, J Hsiang Theoretical Computer Science 146 (1-2), 199-242, 1995 | 49 | 1995 |
Parallelization of deduction strategies: an analytical study MP Bonacina, J Hsiang Journal of Automated Reasoning 13 (1), 1-33, 1994 | 47 | 1994 |
A digital museum of Taiwanese butterflies JS Hong, HY Chen, J Hsiang Proceedings of the fifth ACM conference on Digital libraries, 260-261, 2000 | 46 | 2000 |