Jinu Lee

icon indicating a website link jinulee-v.github.io icon indicating an email [email protected]

icon location Republic of Korea icon location University of Illinois at Urbana-Champaign, PhD Student Interested in NLP, Logic & Linguistics.

Results 4 issues of Jinu Lee

function `torch_bleu` producing inappropriate results

3 comment

Hi, While playing around, I have found an error in the function `torch_bleu` which is used to rank batch-negatives and beam-positives. In `model.model.CoNTGenerator.torch_bleu` (line 47-70), there is an severe mistake...

[INFO] Implementing conventional NAF(negation as failure) in s(CASP)

In case of anyone seeking to modify s(CASP) to follow well-known NAF semantics, To implement conventional Negation As Failure(NAF) semantics, two changes are required: - `solve_goal_predicate/8` should handle `Goal =...

[BUG?] Dynamic Consistency Check (DCC) does not preserve semantics

While experimenting, I have found an unexpected behavior regarding the following code. ```prolog a :- b(c(d(X))). b(c(O)) :- e(O). e(h). ?- not a. % Model: {e(h) b(c(h)) not b(c(X |...

Scala support?

3 comment

Dear authors, Thank you for this great work! I was wondering if there will be a Scala support, or by any means can I use the Java version of multilspy...